"123"
.(try)(Str.toU64)
